- axiomatizes
- axiomatize (Amer.) v. express a theory as a set of basic assumption (also axiomatise)
English contemporary dictionary. 2014.
axiomatizes
Look at other dictionaries:
Boolean algebra (logic) — For other uses, see Boolean algebra (disambiguation). Boolean algebra (or Boolean logic) is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of… … Wikipedia
Category theory — In mathematics, category theory deals in an abstract way with mathematical structures and relationships between them: it abstracts from sets and functions to objects and morphisms . Categories now appear in most branches of mathematics and in… … Wikipedia
Ordered field — In mathematics, an ordered field is a field together with a total ordering of its elements that is compatible with the field operations. Historically, the axiomatization of an ordered field was abstracted gradually from the real numbers, by… … Wikipedia
Characterizations of the category of topological spaces — In mathematics, a topological space is usually defined in terms of open sets. However, there are many equivalent characterizations of the category of topological spaces. Each of these definitions provides a new way of thinking about topological… … Wikipedia
Tarski's axiomatization of the reals — In 1936, Alfred Tarski set out an axiomatization of the real numbers and their arithmetic, consisting of only the 8 axioms shown below and a mere four primitive notions: the set of reals denoted R, a binary total order over R, denoted by infix … Wikipedia
